partial correctness proof
un. 部分正确性证明
热门查询
- accredited v. 认可（accredit的过去分词形式） adj. 公认的；可信任的
- masterful adj. 专横的，傲慢的；主人派头的；熟练的
- orally adv. 口头上地；口述地
- Thatcherite n. 撒切尔夫人的支持者 adj. 拥护撒切尔夫人的
- Krug [人名] 克鲁格; [地名] 区（俄语）
- age n. 年龄；时代；寿命，使用年限；阶段 vt. 使成熟；使变老，使上年纪 vi. 成熟；变老 n. (Age)人名；(瑞典)阿格；(日)扬 (姓)；(西、荷)阿赫
- semiaquatic 半水生的
- Maclean n. (MacLean)人名；(英)麦克莱恩
- prez n. 总统
- surrounding n. 环境，周围的事物 adj. 周围的，附近的
- julienne adj. 切成丝的 n. 菜丝清汤；肉汁菜丝汤 vt. 把…切成丝 n. (Julienne)人名；(法)朱利安娜(女名)，朱利安纳；(英)朱利恩
- Damme [地名] [比利时、德国] 达默
- immunosuppressant n. [免疫][药] 免疫抑制剂（素）
- ventilatory adj. 通气的，通风的
- foreign adj. 外国的；外交的；异质的；不相关的
- successively adv. 相继地；接连着地
- gluon n. [物] 胶子（一种理论上假设的无质量的粒子）
- opal n. 猫眼石，蛋白石；乳白玻璃 n. (Opal)人名；(英)奥珀尔；(土、法)奥帕尔
- conn n. 指挥操舵 n. (Conn)人名；(英)康恩(男子教名) vt. 指挥操舵；指挥驾驶
- stumper n. 难题；伐木机；竞选演说者；板球三柱门守球员
